Article

Lackwit: a program understanding tool based on type inference

Authors:

Robert O'Callahan,

Daniel JacksonAuthors Info & Claims

ICSE '97: Proceedings of the 19th international conference on Software engineering

Pages 338 - 348

https://doi.org/10.1145/253228.253351

Published: 01 May 1997 Publication History

Abstract

No abstract available.

Cited By

View all

Greiner SBühlmann NOhrndorf MTsigkanos CNierstrasz OKehrer TChiba SThüm T(2024)Automated Generation of Code Contracts: Generative AI to the Rescue?Proceedings of the 23rd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences10.1145/3689484.3690738(1-14)Online publication date: 21-Oct-2024
https://dl.acm.org/doi/10.1145/3689484.3690738
Tang WHu YFan GYao PWu RBai GWang PZhang CGrundy J(2021)TranscodeProceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering10.1109/ASE51524.2021.9678823(829-841)Online publication date: 15-Nov-2021
https://dl.acm.org/doi/10.1109/ASE51524.2021.9678823
Shinyama YArahori YGondow K(2021)How Do Programmers Express High-Level Concepts using Primitive Data Types?2021 28th Asia-Pacific Software Engineering Conference (APSEC)10.1109/APSEC53868.2021.00043(360-368)Online publication date: Dec-2021
https://doi.org/10.1109/APSEC53868.2021.00043
Show More Cited By

Index Terms

Lackwit: a program understanding tool based on type inference
1. Software and its engineering
  1. Software notations and tools
    1. General programming languages
      1. Language types
2. Theory of computation

Recommendations

Processes of Abstraction and Representation: An Initial Exploration.
ITiCSE 2023: Proceedings of the 2023 Conference on Innovation and Technology in Computer Science Education V. 2

Three classifications of abstraction are presented and expanded on: Reductive, Constructive and Contextual. The associated process of Representation is linked to these abstractive processes. A short pilot study is described. It is found that students ...
Abstraction Through Multiple Representations in an Integrated Computational Thinking Environment
SIGCSE '20: Proceedings of the 51st ACM Technical Symposium on Computer Science Education

We present reflections based on qualitative analysis of data from the CHEM+C Project which promotes computational thinking (CT) in classrooms through integration with science classes. The curriculum utilizes multiple representations, requiring students ...
In Search of Types
Onward! 2014: Proceedings of the 2014 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming & Software

The concept of "type" has been used without a consistent, precise definition in discussions about programming languages for 60 years¹. In this essay I explore various concepts lurking behind distinct uses of this word, highlighting two traditions in ...

Comments

Information & Contributors

Information

Published In

ICSE '97: Proceedings of the 19th international conference on Software engineering

May 1997

713 pages

ISBN:0897919149

DOI:10.1145/253228

Chairman:
W. Richards Adrion
Univ. of Massachuetts, Amherst

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 May 1997

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

ICSE97

Sponsor:

SIGSOFT
IEEE-CS\TCSE

ICSE97: 19th International Conference on Software Engineering

May 17 - 23, 1997

Massachusetts, Boston, USA

Acceptance Rates

Overall Acceptance Rate 276 of 1,856 submissions, 15%

Upcoming Conference

ICSE 2025

2025 IEEE/ACM 46th International Conference on Software Engineering

April 26 - May 3, 2025

Ottawa , ON , Canada

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

128
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 26 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Greiner SBühlmann NOhrndorf MTsigkanos CNierstrasz OKehrer TChiba SThüm T(2024)Automated Generation of Code Contracts: Generative AI to the Rescue?Proceedings of the 23rd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences10.1145/3689484.3690738(1-14)Online publication date: 21-Oct-2024
https://dl.acm.org/doi/10.1145/3689484.3690738
Tang WHu YFan GYao PWu RBai GWang PZhang CGrundy J(2021)TranscodeProceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering10.1109/ASE51524.2021.9678823(829-841)Online publication date: 15-Nov-2021
https://dl.acm.org/doi/10.1109/ASE51524.2021.9678823
Shinyama YArahori YGondow K(2021)How Do Programmers Express High-Level Concepts using Primitive Data Types?2021 28th Asia-Pacific Software Engineering Conference (APSEC)10.1109/APSEC53868.2021.00043(360-368)Online publication date: Dec-2021
https://doi.org/10.1109/APSEC53868.2021.00043
Volanschi NLawall JGrundy JLe Goues CLo D(2020)The impact of generic data structuresProceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering10.1145/3324884.3416635(103-114)Online publication date: 21-Dec-2020
https://dl.acm.org/doi/10.1145/3324884.3416635
Dash SAllamanis MBarr ELeavens GGarcia APăsăreanu C(2018)RefiNym: using names to refine typesProceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering10.1145/3236024.3236042(107-117)Online publication date: 26-Oct-2018
https://dl.acm.org/doi/10.1145/3236024.3236042
Ore JDetweiler CElbaum SBultan TSen K(2017)Lightweight detection of physical unit inconsistencies without program annotationsProceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis10.1145/3092703.3092722(341-351)Online publication date: 10-Jul-2017
https://dl.acm.org/doi/10.1145/3092703.3092722
Caballero JLin Z(2016)Type Inference on ExecutablesACM Computing Surveys10.1145/289649948:4(1-35)Online publication date: 2-May-2016
https://dl.acm.org/doi/10.1145/2896499
Spasojevic BLungu MNierstrasz O(2016)A Case Study on Type Hints in Method Argument Names in Pharo Smalltalk Projects2016 IEEE 23rd International Conference on Software Analysis, Evolution, and Reengineering (SANER)10.1109/SANER.2016.41(283-292)Online publication date: Mar-2016
https://doi.org/10.1109/SANER.2016.41
Wang SLo DJiang L(2016)AutoQueryAutomated Software Engineering10.1007/s10515-014-0170-223:3(393-425)Online publication date: 1-Sep-2016
https://dl.acm.org/doi/10.1007/s10515-014-0170-2
Haq ICaballero JErnst MXu HBinder W(2015)Ayudante: identifying undesired variable interactionsProceedings of the 13th International Workshop on Dynamic Analysis10.1145/2823363.2823366(8-13)Online publication date: 26-Oct-2015
https://dl.acm.org/doi/10.1145/2823363.2823366
Show More Cited By

Abstract

Cited By

Index Terms

Recommendations

Processes of Abstraction and Representation: An Initial Exploration.

Abstraction Through Multiple Representations in an Integrated Computational Thinking Environment

In Search of Types

Comments

Information

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Author Tags

Qualifiers

Conference

Acceptance Rates

Upcoming Conference

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations